﻿/*
 * Twipler - Twitter Web Client with features.
 *  
 *  Copyright (C) 2009, 2010. Ian Quigley
 * 
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details. 
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>. 
 */

using System;
using System.Collections.Generic;
using System.Linq;
using System.Web;

namespace Twipler.App.Machine
{
    public abstract class Instruction
    {
        public abstract void Exec(Environment env);

		public override string ToString()
		{
			return GetType().Name;
		}
    }

    public abstract class BranchInstruction : Instruction
    {
        public int Delta;
        public string Name;

        public BranchInstruction(string name, int delta)
        {
            Name = name;
            Delta = delta;
        }
    }
    
    [System.AttributeUsage(System.AttributeTargets.Class | System.AttributeTargets.Struct)]
    public class InstructionAttibute : System.Attribute
    {
        public string description;
        public int pushes;
        public int pops;

        public InstructionAttibute(string description) : this(description, 0, 0)
        { 
        }

        public InstructionAttibute(string description, int pushes, int pops)
        {
            this.description = description;
            this.pushes = pushes;
            this.pops = pops;
        }
    }
}